Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
491	Mark A. Parsons National Snow and Ice Data Center/World Data Center for Glaciology, Boulder Data and Scientists in a Sustained Arctic Observing Network The central requirement of a Sustained Arctic Observing Network (SAO Add to Reading List Source URL: www.arcticobserving.org Language: English - Date: 2015-03-05 04:12:37 Knowledge CCSDS Formal sciences Glaciology National Snow and Ice Data Center Open Archival Information System International Polar Year Consultative Committee for Space Data Systems Geographic information system Science Earth sciences Committees
492	Register your morning or afternoon Tea for 321…. 1. Choose a date during March and decide on your venue: at home, at school, at work, in a park, at a local café. It can be big or small, formal or as casual as you like Add to Reading List Source URL: www.dsawa.asn.au Language: English - Date: 2012-03-18 22:27:43 EBay Payment systems Email PayPal Tea Food and drink Technology Electronic commerce
493	An End to Methodology Wars? Dr Graham Stone, Dunstan Thomas Consulting http://consulting.dthomas.co.uk Until recently, if you were to ask most professional developers what Development Methodology they used you would prob Add to Reading List Source URL: dthomas-development.co.uk Language: English - Date: 2014-12-19 09:39:33 Software project management Formal methods Software engineering IBM Rational Unified Process Unified Process Object-oriented programming Software development methodology Dynamic systems development method Unified Modeling Language Software development Software Software development process
494	IBM Software Understanding big data so you can act with confidence More data, more problems? Not if you have an agile, automated information integration and governance program in place Add to Reading List Source URL: www.dotgroup.co.uk Language: English - Date: 2014-11-25 16:29:53 Database management systems Database theory Information technology management Formal sciences Big data Data quality IBM InfoSphere Information governance Database Data management Technology Information
495	white paper Successful projects start with high quality requirements Defining requirements clearly and accurately at the outset speeds software development processes and delivers dramatic savings. Add to Reading List Source URL: dthomas-development.co.uk Language: English - Date: 2014-12-19 09:39:34 Software Software requirements Formal methods Software project management Software engineering Requirements analysis Requirements management Requirement Business analyst Software development Systems engineering Business
496	Managing Iterative Software Development Managing Iterative Software Development....................................................1 Introduction.......................................................................... Add to Reading List Source URL: dthomas-development.co.uk Language: English - Date: 2014-12-19 09:39:34 Formal methods Software project management Unified Process Software development methodology Systems engineering process Dynamic systems development method Performance engineering Software development Software development process Software
497	The Tactics of Software Development Dr Graham Stone, Dunstan Thomas Consulting http://consulting.dthomas.co.uk Introduction In a recent article, I compared and contrasted the job of a Premier League Football Manager with Add to Reading List Source URL: dthomas-development.co.uk Language: English - Date: 2014-12-19 09:39:34 Product management Software development process Software project management Formal methods Software engineering Dynamic systems development method IBM Rational Unified Process Project manager Software development methodology Software development Software Project management
498	What does your Software Development Process do for you? Graham Stone, Dunstan Thomas Consulting http://consulting.dthomas.co.uk Contents What does your Software Development Process do for you? ........................... Add to Reading List Source URL: dthomas-development.co.uk Language: English - Date: 2014-12-19 09:39:34 Software project management Formal methods Agile software development IBM Rational Unified Process Dynamic systems development method Unified Process Extreme programming Capability Maturity Model Project management Software development Software Software development process
499	Formal testing of timed and probabilistic systems Add to Reading List Source URL: antares.sip.ucm.es Language: English - Date: 2011-11-10 05:03:58 Real-time computing Software testing Test case Requirement
500	Use Case: Biodiversity NBD(NIST Big Data) Requirements WG http://bigdatawg.nist.gov/home.php Contents Blank Template Biodiversity and LifeWatch – Wouter Los, Yuri Demchenko, University of Amsterdam Add to Reading List Source URL: bigdatawg.nist.gov Language: English Database management systems Database theory Formal sciences Big data Data modeling Transaction processing Biodiversity informatics Data analysis Global Biodiversity Information Facility Science Data management Technology

UPDATE